mul 2 sat
― RelatedTo ⟶
Weight: 1.0
en conjunctive normal form Source: English Wiktionary